Model and Appli ation of a Binaural 360 Æ

Model-driven QoS Provisioning for Distributed Real-time and Embedded Systems

Real-time and Embedded Systems JAIGANESH BALASUBRAMANIAN, SUMANT TAMBE, ANIRUDDHA GOKHALE, DOUGLAS C. SCHMIDT Department of EECS, Vanderbilt University, Nashville, USA and BALAKRISHNAN DASARATHY, SHRIRANG GADGIL Tel ordia Te hnologies, Pis ataway, NJ, USA Distributed real-time and embedded (DRE) systems onsist of performan e-sensitive appli ations that are deployed in resour eonstrained environ...

Appli ation of Hybrid I / O Automata in Safety Veri ation of Pit hController for Model Heli opter System

A Hierar hi al Component Model for Large Parallel Intera tive Appli ations

Abstra t. This paper fo uses on parallel intera tive appli ations ranging from s ienti visualization, to virtual reality or omputational steering. Intera tivity makes them parti ular on three main aspe ts: they are endlessly iterative, use advan ed I/O devi es, and must perform under strong performan e onstraints (laten y, refresh rate). A data ow graph is a ommon approa h to des ribe su h appl...

Model Theoreti Syntax and Parsing : An Appli ation to Temporal Logi

Speech and Language Technology in Education ( SLaTE 2007 )

learners of English Sylvain Chevalier Saybot In . Shanghai, China sylvain saybot. om Abstra t Saybot is a software appli ation whi h uses spee h proessing te hnology to help users pra ti e spoken English. It is a ommer ial appli ation available sin e O tober 2005 in China with mu h ontent designed for learners of many different pro les. In this paper, we present the strategy used and dis uss it...